Skip to content

Conversation

@elopez
Copy link
Member

@elopez elopez commented Jun 7, 2025

Fixes: #1347

@elopez elopez requested a review from arcz as a code owner June 7, 2025 02:03
@elopez elopez marked this pull request as draft June 8, 2025 00:36
@elopez elopez changed the title Do not filter by prefix in exploration mode Add benchmark mode that does not filter by prefix Jun 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Using exploration mode will ignore functions named as properties (e.g. echidna_*)

2 participants